Spatial-Behavioral Types, Distributed Services, and Resources
نویسنده
چکیده
We develop a notion of spatial-behavioral typing suitable to discipline interactions in service-based systems modeled in a distributed object calculus. Our type structure reflects a resource aware model of behavior, where a parallel composition type operator expresses resource independence, a sequential composition type operator expresses implicit synchronization, and a modal operator expresses resource ownership. Soundness of our type system is established using a logical relations technique, building on a interpretation of types as properties expressible in a spatial logic.
منابع مشابه
Analyzing the Level of Rural Settlement Services based on Distributed Justice(case study: Tankeman district)
Rural services and the power and location of rural services are one of the important issues in planning. In examining patterns and systems of rural services, the status and importance of each village in terms of utilizing a variety of rural services and its ability to receive or transfer Services are considered as an essential element and element. The spatial analysis of services can be describ...
متن کاملSMART: Towards Spatial Internet Marketplaces
Spatial Internet Marketplaces are attractive as a mechanism to enable spatial applications to be built drawing on remote services for supply of data and for data manipulation. They diier from the usual distributed systems by treating the services as published by providers on the Internet and bought by customers on an as-required basis. Design of a Spatial Internet Marketplace essentially seeks ...
متن کاملSimulation of Water Balance Components Using a Distributed Hydrological Model in Taleghan Watershed
Water changes information in the hydrological system, in time and space, as an environmental issue takes heed of managers and decision makers in watershed management and river engineering, which can be addressed by using spatially distributed modeling. In this study simulation of water balance components in Taleghan mountainous watershed is performed using the spatially distributed hydrological...
متن کاملSpatial Information Grid - An Agent Framework
Spatial information grid (SIG) is a spatial information infrastructure that has the capability of providing services on-demand. In this paper, agent technology is adopted to construct a SIG framework, which contains three layers: users/applications layer, agent services layer and information layer. Different applications can get their spatial information via agent services, and agent services m...
متن کاملSpatial-behavioral types for concurrency and resource control in distributed systems
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a resource sensitive model, where a parallel composition type operator expresses resource independence, a sequential composition type operator expresses resource synchronization, and a typemodality expresses resource owners...
متن کامل